On Counting Output Patterns of Logic Circuits
نویسنده
چکیده
In this paper, we consider the problem of counting output patterns of a circuit with gates having fan-in 2. For the case where every gate computes the same Boolean function f , Uchizawa, Wang, Morizumi and Zhou (2013) proved that the problem is solvable in polynomial time if f is the parity function or any degenerate function, while this problem is #P-complete if f is one of the other functions. In this paper, we extend the positive result of Uchizawa, Wang, Morizumi and Zhou (2013) to the case where gates may compute different Boolean functions.
منابع مشابه
Complexity of Counting Output Patterns of Logic Circuits
Let C be a logic circuit consisting of s gates g1, g2, . . . , gs, then the output pattern of C for an input x ∈ {0, 1} is defined to be a vector (g1(x), g2(x), . . . , gs(x)) ∈ {0, 1} of the outputs of g1, g2, . . . , gs for x. For each f : {0, 1} → {0, 1}, we define an f -circuit as a logic circuit where every gate computes f , and investigate computational complexity of the following countin...
متن کاملEfficient Delay Characterization Method to Obtain the Output Waveform of Logic Gates Considering Glitches
Accurate delay calculation of circuit gates is very important in timing analysis of digital circuits. Waveform shapes on the input ports of logic gates should be considered, in the characterization phase of delay calculation, to obtain accurate gate delay values. Glitches and their temporal effect on circuit gate delays should be taken into account for this purpose. However, the explosive numbe...
متن کاملOptimization of Quantum Cellular Automata Circuits by Genetic Algorithm
Quantum cellular automata (QCA) enables performing arithmetic and logic operations at the molecular scale. This nanotechnology promises high device density, low power consumption and high computational power. Unlike the CMOS technology where the ON and OFF states of the transistors represent binary information, in QCA, data is represented by the charge configuration. The primary and basic devic...
متن کاملLow Delay Time All Optical NAND, XNOR and OR Logic Gates Based on 2D Photonic Crystal Structure
Background and Objectives: Recently, photonic crystals have been considered as the basic structures for the realization of various optical devices for high speed optical communication. Methods: In this research, two dimensional photonic crystals are used for designing all optical logic gates. A photonic crystal structure with a triangular lattice is proposed for making NAND, XNOR, and OR optica...
متن کاملSymmetrical, Low-Power, and High-Speed 1-Bit Full Adder Cells Using 32nm Carbon Nanotube Field-effect Transistors Technology (TECHNICAL NOTE)
Carbon nanotube field-effect transistors (CNFETs) are a promising candidate to replace conventional metal oxide field-effect transistors (MOSFETs) in the time to come. They have considerable characteristics such as low power consumption and high switching speed. Full adder cell is the main part of the most digital systems as it is building block of subtracter, multiplier, compressor, and other ...
متن کامل